Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
571	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
572	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
573	Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:53 Mathematical logic Deduction Proof theory Dependently typed programming Type theory Natural deduction Entailment Symbol Calculus of constructions Logic Theoretical computer science Lambda calculus
574	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
575	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory
576	Mukund Raghothaman Wednesday 8th October, 2014 Contact Details Department of Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-08 01:07:27 Computer science Rajeev Alur Formal sciences Automata theory Model checking IEEE Symposium on Logic in Computer Science Formal methods Formal verification Symposium on Theory of Computing Theoretical computer science Applied mathematics Logic in computer science
577	BRICS Basic Research in Computer Science ´ BRICS RSEsik & Ito: Temporal Logic with Cyclic Counting Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-07 08:27:59 Theoretical computer science Applied mathematics Models of computation Regular language Nondeterministic finite automaton Model checking Permutation Structure Büchi automaton Automata theory Formal languages Mathematics
578	egu_logo_without_circle_grey Add to Reading List Source URL: www.nat-hazards-earth-syst-sci.net Language: English - Date: 2014-12-04 02:29:04 Artificial intelligence Logic in computer science Neuro-fuzzy Fuzzy control system Fuzzy set Adaptive neuro fuzzy inference system Membership function Fuzzy logic Logic Mathematical logic
579	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL 279 Lec 02/03 — “Logic I” Fall Term 2010 Course Outline Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2014-07-27 06:36:15 Education Predicate logic Semantics Logic in computer science Boolean algebra First-order logic Valuation Tutorial Homework Logic Mathematical logic Model theory
580	MFPSA System-Level Game Semantics Dan R. Ghica University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-07-18 08:08:46 Applied mathematics Models of computation Algebraic geometry Field theory Valuation Combinatory logic Denotational semantics Theoretical computer science Logic in computer science Mathematics

UPDATE